An Approximation Technique for Belief Revision in Timed Influence Nets
نویسندگان
چکیده
The paper presents an approach for belief updating in Timed Influence Nets. Influence Nets provide graphical representation of causal or influencing relationships in complex situations. They are used to model and evaluate courses of actions in certain domains and to compare the performance of actions based on the desired outcome. In Timed Influence Nets, the impact or effect of these actions on target variables is not instantaneous. This is modeled by adding communication and processing delays in the model. The paper provides a technique for updating the beliefs of variables in the model over time once new evidence is received about some of the variables in the model. The objective is to assess the behavior of the variables of interest as a function of both the timing of actions and the receipt of evidence on indicators, thus providing aid to decision makers in the revision of the planned courses of actions.
منابع مشابه
Effects Based Applications / Operations C2 Decision Making and Cognitive Analysis 2. Title: Efficient Approximation Techniques for Belief Updating in Timed Influence Nets
1. Topic: Effects Based Applications / Operations C2 Decision Making and Cognitive Analysis 2. Title: Efficient Approximation Techniques for Belief Updating in Timed Influence Nets 3. Authors: Sajjad Haider, Abbas K. Zaidi, and Alexander H. Levis 4. Organization: C3I Center, George Mason University 5. Address: System Architectures Laboratory C3I Center, MSN 4B5 George Mason University Fairfax, ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملDiscrete–continuous Modeling Using Hybrid Stochastic Petri Nets
We present Hybrid Stochastic Petri Nets (HSPNs) as a revision and extension of the Fluid Stochastic Petri Nets (FSPNs). HSPNs can be used for modeling dynamic systems that comprise both discrete and continuous quantities. Discrete state changes are assumed to be Markovian and continuous variables are assumed to be deterministic. HSPNs are designed to improve the clarity and consistency of the g...
متن کاملAn Ontology-Based Evaluation of Process Modeling with Petri Nets
Selecting an appropriate business process modeling technique forms an important task within the methodological challenges of business process management and workflow engineering projects. Many of the available techniques have been developed on the basis of Petri nets, which is a popular modeling technique for workflow-oriented applications. Despite the popularity of Petri nets, however, a compr...
متن کامل